more on this theme     |     more from this thinker     |     more from this text


Single Idea 10775

[filed under theme 4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX ]

Full Idea

The main objection to the axiom of choice was that it had to be given by some law or definition, but since sets are arbitrary this seems irrelevant. Formalists consider it meaningless, but set-theorists consider it as true, and practically obvious.

Gist of Idea

The axiom of choice now seems acceptable and obvious (if it is meaningful)

Source

Leslie H. Tharp (Which Logic is the Right Logic? [1975], §3)

Book Ref

'Philosophy of Logic: an anthology', ed/tr. Jacquette,Dale [Blackwell 2002], p.40